101. A course in formal languages, automata and groups
Author: / Ian M. Chiswell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal languages,Machine theory,Group theory
Classification :
E-BOOK
102. A course in formal languages, automata and groups
Author: / Ian Chiswell
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal languages.,Machine theory.,Group theory.
103. A course in formal languages, automata and groups
Author: Chiswell, Ian
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Machine theory,، Group theory
Classification :
QA
267
.
3
.
C45
2009
104. A course in mathematical logic for mathematicians
Author: Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
Classification :
511
,.
3
,.
M296
,
2010
105. A course in mathematical logic for mathematicians
Author: / Yu. I. Manin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
M29613
2010
106. A descriptive approach to language-theoretic complexity
Author: James Rogers
Library: Library of Faculty Foreign Languages and Literature of University of Tehran (Tehran)
Subject: Generative grammar,Formal languages
Classification :
P
158
.
R58
1998
107. A discipline of programming /
Author: Edsger W. Dijkstra
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming
Classification :
QA76
.
6
.
D54
108. A first course informal language theory
Author: / V. J. Rayward-Smith
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Formal languages
Classification :
QA267
.
3
.
R3
109. A general theory of formality
Author: Beck, Andrew Edward
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
110. A historical syntax of English /
Author: Bettelou Los.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: English language-- History.,English language-- Syntax.,Englisch.,English language-- Syntax.,English language.,Historische Syntax,LANGUAGE ARTS & DISCIPLINES-- Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Syntax.,Languages & Literatures.,Philology & Linguistics.
Classification :
P291
.
L675
2015eb
111. A mathematical introduction to logic
Author: / Herbert B. Enderton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical
Classification :
E-BOOK
112. A methodology for automated service level agreement compliance prediction
Author: Yassin Kassab, Rouaa
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
113. A programmer's introduction to computability and formal languages
Author: Kurki-Suonio, Reino.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
K87
114. A second course in formal languages and automata theory
Author: Shallit, Jeffrey Outlaw.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Formal languages,، Machine theory
Classification :
QA
267
.
3
.
S53
115. A second course in formal languages and automata theory
Author: / Jeffrey Shallit
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal languages,Machine theory
Classification :
E-BOOK
116. A software classification scheme
Author: Díaz, Rubén Prieto
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
117. A survey of Islamic history -- Why an introduction to Islam specifically for Jews? -- Arabs and Israelites -- Pre-Islamic origins -- The emergence of Islam -- Muhammad and the Jews of Medina -- The death of the prophet and the expansion of the community -- The conquests -- The caliphal dynasties -- The decline of the Muslim world -- God, the Qur'an, and Islamic law -- God -- The five doctrines or "pillars of faith" -- The evolution of a formal theology -- The Qur'an -- The interpretive tradition -- The prophetic record -- Islamic law -- The workings of shari'a -- The umma: Islam in practice -- The umma and the caliphate -- The five pillars of Islam -- A sixth pillar? Jihad -- The range of practice among Muslims -- Sufism -- The shi'a -- Mosque and clergy -- The calendar -- The Muslim life-cycle -- Personal observance. 0
Author: Reuven Firestone.
Library: Library of Islamic Parliament (Tehran)
Subject:
118. A syntactic study of WH-Movement in Egyptian Arabic within the Minimalist Program
Author: Gad, Rehab Farouk Gad Alsayed
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
119. <AN> Introduction to formal languages and Automata
Author: Peter Linz
Library: Vali Asr University Central Library (Kerman)
Subject: Formal languages
Classification :
QA
267
.
3
.
L5
,
F6
120. APL :
Author: Cecilia McKelvey and Helen Peters.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Career development-- Great Britain.,College credits-- Great Britain-- Outside work.,Experiential learning-- Great Britain-- Evaluation.,Vocational education-- Great Britain-- Evaluation.,Career development.,College credits-- Outside work.,EDUCATION-- Adult & Continuing Education.,EDUCATION-- Non-Formal Education.,Experiential learning-- Evaluation.,Vocational education-- Evaluation.,Great Britain., 7
Classification :
LC5256
.
G7
M36
1993eb
